COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	%∂05-Oct-84  1420	PHY  
C00019 ENDMK
C⊗;
%∂05-Oct-84  1420	PHY  
% This macro file is for business letters
%\noblackbox
\overfullrule=0pt
\magnification =\magstephalf
\def\disleft#1:#2:#3\par{\par\hangindent#1\noindent
			 \hbox to #1{#2 \hfill \hskip .1em}\ignorespaces#3\par}
\def\display#1:#2:#3\par{\par\hangindent #1 \noindent
			\hbox to #1{\hfill #2 \hskip .1em}\ignorespaces#3 \par}
\def\adx#1:#2\par{\par\halign{\hskip #1##\hfill\cr #2}\par}

\def\today{\ifcase\month\or
  January\or February\or March\or April\or May\or June\or
  July\or August\or September\or October\or November\or December\fi
  \space\number\day, \number\year}
\def\narrower{\advance\leftskip by 20pt \advance\rightskip by 20pt }

\raggedbottom
\interlinepenalty=1000
\hsize=6.25truein \voffset=24pt \advance\vsize by-\voffset
\parindent=0pt \parskip=0pt
\nopagenumbers
\headline={\ifnum\pageno>1
  \tenrm To \addressee\hfil\today\hfil Page \folio
  \else\hfil\fi}

\def\beginlinemode{\endmode
  \begingroup\obeylines\def\endmode{\par\endgroup}}
\def\beginparmode{\endmode
  \begingroup\parskip=\medskipamount \def\endmode{\par\endgroup}}
\let\endmode=\par
\def\endletter{\endmode\vfill\supereject \pageno=1 }

\newdimen\longindentation \longindentation=4truein
\newbox\theaddress
\def\address{\beginlinemode\getaddress}
{\obeylines\gdef\getaddress#1
  #2
  {\gdef\addressee{#2\unskip}%
    \global\setbox\theaddress=\vbox\bgroup\raggedright%
    \hsize=\longindentation \everypar{\hangindent2em}#2
    \def\endmode{\egroup\endgroup \copy\theaddress \bigskip}}}

\def\body{\beginparmode}
\def\closing{\beginlinemode\getclosing}
{\obeylines\gdef\getclosing #1
  #2
  {\nobreak\bigskip \leftskip=\longindentation #2
    \nobreak\bigskip\bigskip\bigskip % space for signature
    \def
    {\endgraf\nobreak}}}
\def\annotations{\beginlinemode\def\par{\endgraf\nobreak}\obeylines\par}
\def\ps{\beginparmode\nobreak
  \interlinepenalty5000\def\par{\endgraf\penalty5000}}
\def\cc{\beginparmode\nobreak
  \interlinepenalty5000\def\par{\endgraf\penalty5000}}

\def\up#1{\leavevmode \raise.16ex\hbox{#1}}
\font\smallheadfont=cmr8 at 8truept
\font\largeheadfont=cmbx10 at 14.4truept
\font\logofont=stan70 at 70truept
\def\stanfordseal{\vbox{\kern-3truept\hbox{\logofont A}\kern-3truept}}

\def\csdreturn{Computer Science Department\par \stanfordreturn}
\def\stanfordreturn{Stanford University\par
    Stanford, CA 94305 USA\par}
\def\letterhead{\pageno=1 \univletterhead
  {\leftskip=\longindentation
    {\baselineskip9truept\smallheadfont\sendingaddress}
    \bigskip\bigskip\rm\today\bigskip}}
\def\specrule#1{\nointerlineskip
  \line{\hbox to 60truept{\hrulefill
      \hphantom{\stanfordseal\kern-#1truept}%
    \hrulefill}\hrulefill}\nointerlineskip}
\def\univletterhead{\vglue-34pt
  \specrule{11}\vskip8truept
  \hbox{\hbox to\longindentation{\smash{\hbox to60truept{\hfil\kern2.5truept
        \lower10truept\stanfordseal\hfil}}%
      \largeheadfont STANFORD UNIVERSITY\hfil}%
    \smallheadfont STANFORD, CALIFORNIA 94305-2085}
  \vskip6truept\specrule{17}\vskip13truept }

\def\bslet{
  \def\sendingaddress{BETTY SCOTT\par
     Administrative Officer\par
    Department of Computer Science\par
    Telephone \up[415\up]\thinspace 723-1047\par}
  \def\returnaddress{Betty~Scott\par \csdreturn}
  \letterhead}
\def\csdreturn{Computer Science Department\par \stanfordreturn}
\def\stanfordreturn{Stanford University\par
    Stanford, CA 94305 USA\par}

\def\jmclet{
  \def\sendingaddress{JOHN McCARTHY\par
    Professor\par
    Department of Computer Science\par
    Telephone \up[415\up]\thinspace 723-4430\par
    Electronic Mail: JMC@SAIL.STANFORD.EDU\par}
  \def\returnaddress{Prof.\ John McCarthy\par \csdreturn}
  \letterhead}
\def\csdreturn{Computer Science Department\par \stanfordreturn}
\def\stanfordreturn{Stanford University\par
    Stanford, CA 94305 USA\par}

\def\shnlet{
  \def\sendingaddress{Natarajan Shankar\par
    Research Associate\par
    Department of Computer Science\par
    Telephone \up[415\up]\thinspace 723-4079\par
    Electronic Mail: SHANKAR@SCORE.STANFORD.EDU\par}
  \def\returnaddress{Natarajan Shankar\par \csdreturn}
  \letterhead}
\def\csdreturn{Computer Science Department\par \stanfordreturn}
\def\stanfordreturn{Stanford University\par
    Stanford, CA 94305 USA\par}

\def\ralet{
  \def\sendingaddress{Rutie Adler\par
    Secretary\par
    Department of Computer Science\par
    Telephone \up[415\up]\thinspace 723-6321\par
    Electronic Mail: RA@SAIL.STANFORD.EDU\par}
  \def\returnaddress{Ms.\ Rutie Adler\par \csdreturn}
  \letterhead}
\def\csdreturn{Computer Science Department\par \stanfordreturn}
\def\stanfordreturn{Stanford University\par
    Stanford, CA 94305 USA\par}

\def\aaai{
  \def\sendingaddress{AAAI Office\par
    Telephone \up[415\up]\thinspace 328-3123\par
    Electronic Mail: aaai-office\%sumex.arpa\par}
  \def\returnaddress{AAAI\par \aaaireturn}
 \def\aaaireturn{445 Burgess Drive\par
    Menlo Park, CA 94025 USA\par}
     \letterhead}
\def\zmlet{
  \def\sendingaddress{ZOHAR MANNA\par
    Professor\par
    Department of Computer Science\par
    Telephone \up[415\up]\thinspace 723-4364\par}
  \def\returnaddress{Prof.\ Zohar Manna\par \csdreturn}
  \letterhead}

\def\pwlet{
  \def\sendingaddress{PIERRE WOLPER\par
    Visiting Professor\par
    Department of Computer Science\par
    Telephone \up[415\up]\thinspace 497-4364\par}
  \def\returnaddress{Prof.\ Pierre Wolper\par \csdreturn}
  \letterhead}
\def\csdreturn{Computer Science Department\par \stanfordreturn}
\def\stanfordreturn{Stanford University\par
    Stanford, CA 94305 USA\par}

%\def\ralet{
%  \def\sendingaddress{RUTIE ADLER\par
%     Secretary\par
%    Department of Computer Science\par
%    Telephone \up[415\up]\thinspace 723-6321\par}
%     Electronic Mail: RA@SAIL.STANFORD.EDU\par}
%  \def\returnaddress{Ms. Rutie~Adler\par \csdreturn%}
%  \letterhead}
%\def\csdreturn{Computer Science Department\par \stanfordreturn}
%\def\stanfordreturn{Stanford University\par
%    Stanford, CA 94305 USA\par}

\def\arklet{
  \def\sendingaddress{ARTHUR M.~KELLER\par
    Department of Computer Science\par
    Telephone \up[415\up]\thinspace 497-3227\par}
  \def\returnaddress{Arthur M.~Keller\par \csdreturn}
  \letterhead}
\def\csdreturn{Computer Science Department\par \stanfordreturn}
\def\stanfordreturn{Stanford University\par
    Stanford, CA 94305 USA\par}
\def\alflet{
  \def\sendingaddress{ALFRED V.~AHO\par
    Visiting Professor\par
    Department of Computer Science\par
    Telephone \up[415\up]\thinspace 497-1512\par}
  \def\returnaddress{Alfred V.~Aho\par \csdreturn}
  \letterhead}
\def\csdreturn{Computer Science Department\par \stanfordreturn}
\def\stanfordreturn{Stanford University\par
    Stanford, CA 94305 USA\par}
\def\jollet{
  \def\sendingaddress{JOSEPH OLIGER\par
    Associate Professor\par
    Department of Computer Science\par
    Telephone \up[415\up]\thinspace 497-0571\par}
  \def\returnaddress{Joseph Oliger\par \csdreturn}
  \letterhead}
\def\csdreturn{Computer Science Department\par \stanfordreturn}
\def\stanfordreturn{Stanford University\par
    Stanford, CA 94305 USA\par}
\def\eliupf{
  \def\sendingaddress{ELI UPFAL\par
    Postdoctoral Scholar\par
    Department of Computer Science\par
    Telephone \up[415\up]\thinspace 497-1963\par}
  \def\returnaddress{Eli Upfal\par \csdreturn}
  \letterhead}
\def\csdreturn{Computer Science Department\par \stanfordreturn}
\def\stanfordreturn{Stanford University\par
    Stanford, CA 94305 USA\par}

\def\letterhead{\pageno=1 \univletterhead
  {\leftskip=\longindentation
    {\baselineskip9truept\smallheadfont\sendingaddress}
    \bigskip\bigskip\rm\today\bigskip}}
\def\specrule#1{\nointerlineskip
  \line{\hbox to 60truept{\hrulefill
      \hphantom{\stanfordseal\kern-#1truept}%
    \hrulefill}\hrulefill}\nointerlineskip}
\def\univletterhead{\vglue-34pt
  \specrule{11}\vskip8truept
  \hbox{\hbox to\longindentation{\smash{\hbox to60truept{\hfil\kern2.5truept
        \lower10truept\stanfordseal\hfil}}%
      \largeheadfont STANFORD UNIVERSITY\hfil}%
    \smallheadfont STANFORD, CALIFORNIA 94305-2095}
  \vskip6truept\specrule{17}\vskip13truept }

\def\memoto{\beginlinemode\parindent=60truept
  \everypar{\hangindent70truept}\startmemo}
\def\textin#1{\noindent\hbox to\parindent{#1\hss}\ignorespaces}
{\obeylines\gdef\startmemo #1
  {\gdef\addressee{#1}%
  \global\pageno=1 \vglue-34pt\specrule{11}\vskip8truept
  \leftline{\smash{\hbox to60truept{\hfil\kern2.5truept
        \lower10truept\stanfordseal\hfil}}%
    \largeheadfont Stanford Computer Science Department %
    \rm}%\today}%
  \vskip6truept\specrule{20}\bigskip\bigskip\bigskip%
%  \textin{Memo to:}#1
   \textin{To:}#1
  \def\endmode{\par\endgroup\bigskip}}
  \gdef\from #1
  {\smallskip\textin{From:}#1
  }
  \gdef\subject #1
  {\smallskip\textin{Subject:}#1
  }
  \gdef\date #1
  {\smallskip\textin{Date:}\today
  }
}

\def\makelabel{\endletter\hbox{\vrule
    \vbox{\hrule \kern6truept
      \hbox{\kern6truept\stanfordseal\kern3pt
          \vbox{\smallheadfont\baselineskip9truept\hsize=2truein\returnaddress}
        \kern6truept}\kern6truept\hrule}\vrule}
  \kern.1truein
  \hbox{\vrule
    \vbox{\hrule \kern12truept
      \hbox{\kern12truept\copy\theaddress
        \kern12truept}\kern12truept\hrule}\vrule}
  \pageno=0\vfill\eject}

\def\disleft#1:#2:#3\par{\par\hangindent#1\noindent
			 \hbox to #1{#2 \hfill \hskip .1em}\ignorespaces#3\par}
\def\display#1:#2:#3\par{\par\hangindent #1 \noindent
			\hbox to #1{\hfill #2 \hskip .1em}\ignorespaces#3 \par}
\def\adx#1:#2\par{\par\halign{\hskip #1##\hfill\cr #2}\par}

\def\mccjmc{
{\bf \centerline{John McCarthy}}
{\bf \centerline{846 Lathrop Drive}}
{\bf \centerline{Stanford, CA 94305}}
\hbox to \hsize {{\bf Telephone (415)\ 857\ 0672\hfil \today}}
\vskip 2truecm        
\vbox{\hbox{TO:}\hbox{MCC}%
\hbox{3500 West Balcones Center Drive}%
\hbox{Austin, Texas 78759}}
%\hbox{9430 Research Blvd.}\hbox{Echelon Bldg.\ \#10}
%\hbox{Austin, Texas 78759-6509}}
\vskip 1truecm
\noindent
Attention: R. Boyer
\vskip 2truecm
{\bf \centerline{INVOICE}}
\centerline{Consulting and Expenses for MCC}
\centerline{November 24-25, 1986}
\vskip 2truecm}